formal description language
英 [ˈfɔːml dɪˈskrɪpʃn ˈlæŋɡwɪdʒ]
美 [ˈfɔːrml dɪˈskrɪpʃn ˈlæŋɡwɪdʒ]
网络 形式描述语言; 形式化描述语言
双语例句
- LOTOS is a specification language that aims at describing the dynamic behavior of complex systems ( formal description language).
LOTOS主要是用来描述复杂系统动态性的说明语言（形式描述语言），是可操作的。 - A language element in the formal description of a computer language, for example, the metavariables in an arithmetical expression are constants, variables, operators, etc.
计算机语言的形式描述中的语言元素，如在算术表达式中的元变量是常数、变量、运算符等。 - Despite a number of opinions expressed both for and against a formal description language for RESTful applications, description languages like WADL have gained some limited ground.
针对RESTful应用的正式描述语言，虽然有大量的赞成和反对意见，但像WADL这样的描述语言只得到了有限的发展。 - Formal Description of TGM Model With RTL Language
TGM模型的RTL形式化描述 - An Interactive Generating Method for Protocol Formal Description Language Estelle
协议形式描述语言Estelle的交互生成方法 - The problem of AOP extensions to Z++ is discussed, and a formal specification language named Z++ a, possessing AOP paradigm, is presented. A highly intelligentized and impersonated biologic robot description is given in the formal specification language Z++ a.
在Z++的基础上，讨论其AOP扩展问题，从而提出具有AOP风范的形式描述语言Z++a，同时还给出了一个关于高度智能化、人格化生物机器人的Z++a形式描述简例。 - Design and Implementation for Compiler of Formal Description Language ASN. 1
形式描述语言ASN.1及其编译器的设计与实现 - Specifically, major contributions are as follows: Firstly, a formal architecture description language π ADL is proposed based on process algebra π calculus, to express the structure and behavior of software architecture in a precise and practical way.
基于移动进程代数π演算，提出软件体系结构形式化描述语言πADL，形式化描述软件系统的结构和行为。 - The model-based specification language was used in test specification, and formal description testing data and other testing information for TTF parts was defined with description language Z.
测试规范使用基于模型的规范语言，由描述语言Z定义TTF基本部件的形式描述测试数据和其它测试信息。 - The dissertation extends DisCo formal description language to precisely describe design pattern.
本文扩展了DisCo形式化描述语言，使其能很好地描述设计模式。 - This paper presents a formal description method using CCITT SDL/ GR Language. The SDL/ GR state pictures of interoffice signallings for a SPC tandem exchange under various junction conditions are discussed.
本文提出基于CCITTSDL语言基础上的信号系统格式化描述方法，并给出了一个程控市话汇接局在国内网中各种接口条件下的局间信号SDL/GR状态图。 - A Formal Dynamic Architecture Description Language
一种形式化的动态体系结构描述语言 - Through analyzing the formal description and the semantics structure of client requirement, making a premise of individual character product features information grammar, the client requirement description language which is apt to comprehension by computer is constructed.
通过对客户的需求进行形式化的描述和语义结构的分析，以个性化产品特征信息文法为前提，构建计算机易于理解的客户需求描述语言。 - Research on the Formal Description Language for Military Conceptual Modeling
军事概念建模形式化描述语言比较分析 - The paper adopts a new RSL ( Formal Description Language) to describe network protocols with CSP ( Communication Sequential Processes) model, which is based on process algebra and is able to use strict algebra calculation method to verify the protocol character.
文中用一种新的形式化描述语言RSL来描述网络协议，采用通信顺序进程CSP为模型。该模型基于进程代数，能用严密的代数演算方法验证协议性质。 - Therefore rule description method is easy for domain engineers to understand, grasp and apply, it can solve the problem of "curse of modeling". ( 3) Formal syntax and semantics of logic rule description language ( LRDL) are constructed.
因此规则化描述方法易于理解，便于掌握和使用，较好地解决了领域工程师对DECS进行建模和设计时所面临的建模难问题。（3）构建了逻辑规则描述语言（LRDL）的语法语义体系。 - Therefore the dissertation designs a formal architecture description language, and a series of architectural subjects, such as design, analysis, etc. are explored and studied systematically.
为此，本文对产品线体系结构的理论进行了较为深入的探讨，设计了形式化的产品线体系结构描述语言，并对产品线体系结构设计和分析等内容进行了研究。 - Firstly, introduction theory and technology of ontology, including the formal definition, modeling element language, description language, construction, classification, it provides a theoretical basis for ontology-based concepts similarity computation.
首先，介绍了本体理论和技术，包括本体的形式化定义、建模元语、描述语言、构建、分类等，为基于本体的概念相似度计算提供了理论基础。